Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists and classical (...) negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

A Interdisciplinaridade é uma orientação epistêmica e constituída de muitas dimensões e os protocolos de aplicação, mas algumas vezes banalizada quando envolvida pelo Kitsch, uma força fugaz e acrítica que atravessa a ciência, e que incide sobre à Interdisciplinaridade a configurando como um brecholê, uma junção sem reflexão e critérios. A vista disso, como ocorre a percepção da Interdisciplinaridade através da perspectiva Kitsch? O objetivo versou em descortinar através da Gestalt a Interdisciplinaridade do fenômeno Kitsch. A Gestalt foca os estudos (...) da ‘percepção’, ela procura intensificar o fato de que a compreensão do todo é o processo preliminar de compreensão da realidade para, posteriormente possamos compreender os fragmentos. É uma pesquisa qualitativa, pois versa em ações subjetivas sobre a Interdisciplinaridade e a Hermenêutica como método através dos círculos de investigação para compressão exploratória que permite explorar novos fenômeno poucos conhecidos e construir hipóteses. Alguns dos resultados preliminares desta pesquisa na forma de hipótese infere que há uma ligação em evolução entre o Kitsch e a Interdisciplinaridade. (shrink)

Resumo: Este artigo mostra a abordagem hermenêutica realizada por Martin Heidegger dos conceitos de natureza e vida a partir da ontologia fundamental. Em Ser e Tempo, Heidegger elabora as condições hermenêuticas para que se possa apreender ontologicamente a vida através do que ele chama de interpretação privativa da vida. O desenvolvimento sistemático do sentido de ser da vida é apresentado por Heidegger na preleção Os conceitos fundamentais da metafísica : mundo, finitude, solidão, de 1929/1930. Nela, para apresentar o fenômeno da (...) vida, Heidegger parte da tese central de que todo vivente é organismo, de modo a desenvolver uma investigação ontológica em conjunto com pesquisas biológicas e zoológicas. Por conseguinte, após a explicitação dos modos de encontro com a natureza, será evidenciado como a natureza em sentido originário mostra-se a partir de um retraimento na abertura de mundo do ser-aí em sua relação com os organismos vivos. Palavras-chave: Heidegger; ontologia; hermenêutica da natureza; vida; mundo.: This article shows the hermeneutical approach performed by Martin Heidegger to the concepts of nature and life from the fundamental ontology. In Being and Time, Heidegger elaborates the hermeneutical conditions so that we can apprehend ontologically life through what he calls the private interpretation of life. The systematic development of the sense of being of life is presented by Heidegger in the lecture course The Fundamental Concepts of Metaphysics: World, Finitude, Solitude, of 1929/1930. In this lecture, to present the phenomenon of life Heidegger uses the central thesis that every living being is organism in order to develop an ontological investigation in conjunction with biological and zoological research. Therefore, after the explanation of the ways of meeting with nature, will be shown as nature in the original sense shows itself from a withdrawal in the world opening of the being-there in its relationship with living organisms. Keywords: Heidegger; ontology; hermeneutic of nature; life; world. (shrink)

La tesis central del presente texto es que la emergencia del nuevo paradigma de los movimientos sociales es verificada por la fuerza creciente de la idea de red social al interior de las ciencias sociales. Sin embargo, entendemos que el reconocimiento más amplio de este nuevo paradigma es impedido p..

Mainstream game theory explains cooperation as the outcome of the interaction of agents who permanently pursue their individual goals. Amartya Sen argues instead that cooperation can only be understood by positing a type of rule-following behaviour that can be out of phase with the pursuit of individual goals, due to the existence of a collective identity. However, Sen does not clarify the ontological preconditions for the type of social behaviour he describes. I will argue that Sen's account of collective identity (...) can be best interpreted in the light of John Searle's notion of collective intentionality, while Sen's explanation of rule-following behavior and agency is best understood using the critical realist transformational model of social activity. (shrink)

From the 1980s/90s, Brazilian foreign policy adopted a more assertive agenda regarding neighboring countries in northern South America. In this context, the celebration of the Framework Agreement between Brazil and France is inserted, an institutional framework that implemented cross-border cooperation between Amapá and French Guiana. At the time, France was interested in projecting itself politically and commercially in South America. On the other hand, Brazil has also achieved success with this new agenda. However, after twenty-four years in force, cross-border cooperation (...) does not show effectiveness regarding the results expected by the collectives on both sides of the Guyano-Amapá border. This article seeks to discuss that the lack of local participation has become a contender in the development of this cooperation, which has not resulted in a political project capable of promoting the aggregation of cultural matrices that stimulate an identity of objectives. To development the reflection, non-participant observation, interviews with residents in the city of Oiapoque were used, as well as the examination of some agreements concluded between Brazil and France and the minutes of the meetings of the Joint Cross-Border Commission-CTM. The specificities that make the Guyano-Amapá border interesting to the governments of Brazil and France are found in the temporal experiences of multiple actors, unrelated to chronologies, but rather to the length of life lived. (shrink)

Examination and interpretation of Kabbalistic traces in Theodor W. Adorno's philosophy.

In this paper, we investigate the rules that should underlie a computer program that is capable of revising its beliefs or opinions. Such a program maintains a model of its environment, which is updated to reflect perceived changes in the environment. This model is stored in a knowledge base, and the program draws logical inferences from the information in the knowledge base. All the inferences drawn are added to the knowledge base. Among the propositions in the knowledge base, there are (...) some in which the program believes, and there may be others in which the program does not believe. Inputs from the outside world or reasoning carried out by the program may lead to the detection of contradictions, in which case the program has to revise its beliefs in order to get rid of the contradiction and to accommodate the new information. (shrink)

In this article I address the question of whether corporations should be considered as part of the basic structure of society as defined in Rawls’s Theory of Justice. To do so, it becomes necessary to understand which institutions are crucial for defining Rawls’s basic structure of society. I will argue that a social ontology aimed at understanding how human institutions influence various aspects presupposed in Rawls’s basic structure of society can help addressing this topic. To do so, I shall draw (...) upon the social ontology elaborated by Searle, who follows an approach that is particularly suitable for showing how Rawls’s basic structure of society already contains an institutional setting that must take corporations into account in its very formulation, due to the implications of the activities of the corporation for distributive justice. (shrink)

Cartografias da ingovernabilidade dos corpos na arte e na vida Resumo: Sofremos uma crescente governamentalização dos corpos e das condutas ao longo do mundo moderno e contemporâneo. Essa foi uma das expressivas contribuições do pensamento do filósofo francês Michel Foucault. No entanto, tal governamentalização não adveio sem contrapartida. Trata-se, em todo caso, de um empreendimento sistemático de investimento pelo poder e de redução dos corpos à sua dimensão extensiva, utilitária, funcional e orgânica, numa palavra, instrumental. Uma pletora de práticas foi (...) criada em vários campos – saúde, educação, trabalho, lazer, esporte, etc. – com este fim. No entanto, por mais incontornável que seja, os corpos não se deixam reduzir a um estado de coisa, a sua extensão, em resumo, a sua reificação. Este trabalho visa circunscrever esta problemática, para os fins de explorar o tema que concerne a relação entre os corpos, a cultura e o papel da arte como cartografia intensiva, sob o signo da ingovernabilidade. Palavras-chave: cartografias, ingovernabilidade, corpo, arte, filosofia. Cartographies of the ungovernability of bodies in art and life: We have suffered a growing governmentalization of the bodies and behaviors throughout the modern and contemporary world. This was one of the expressive contributions of the French philosopher Michel Foucault’s thought. However, such governmentalization has not come without a counterpart. In any case, it is a systematic undertaking of investment by the power and of reduction of the bodies to their extensive, utilitarian, functional and organic dimension to a word, instrumental. A plethora of practices has been created in various fields - health, education, work, leisure, sports, etc. - to this end. However, bodies are not reduced to a state of affairs, to their extension, in short, to their reification, as unavoidable as it might be. This work aims to circumscribe this problem, in order to explore the theme that concerns the relationship among the bodies, the culture and the role of the art as an intensive cartography, under the sign of ungovernability. Keywords: cartography, ungovernability, body, art, philosophy. Cartografias de la ingobernabilidad de los cuerpos en el arte y la vida Resumen: Sufrimos una creciente gubernamentalización de los cuerpos y el comportamiento en todo el mundo moderno y contemporáneo. Esta fue una de las contribuciones expresivas del pensamiento del filósofo francés Michel Foucault. Sin embargo, tal gubernamentalización no se produjo sin una contraparte. En cualquier caso, es una empresa sistemática de inversión por poder y la reducción de los cuerpos a su dimensión extensiva, utilitaria, funcional y orgánica, en una palabra, instrumental. Se han creado una gran cantidad de prácticas en diversos campos: salud, educación, trabajo, ocio, deportes, etc. - con este fin. Sin embargo, por inevitable que sea, los cuerpos no se reducen a un estado de cosas, su extensión, en resumen, su reificación. Este trabajo tiene como objetivo circunscribir este problema, a fin de explorar el tema que concierne a la relación entre los cuerpos, la cultura y el papel del arte como cartografía intensiva, bajo el signo de ingobernabilidad. Palabras clave: cartografía, ingobernabilidad, cuerpo, arte, filosofía Data de registro:16/06/2020 Data de aceite: 22/07/2020. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 No seminário de 1959-60, o psicanalista Jacques Lacan anuncia sua decisáo de abordar ali o tema da ética da psicanálise. Para uma clara compreensáo da contribuiçáo freudiana, ele resgata, como contraponto, a referência aristotélica da Ethica Nicomachea . Nessa obra, Aristóteles está em busca de um bem mais excelente, e este corresponde à felicidade. Ele pode ser alcançado pelo uso da atividade racional aliado à prática da virtude. Se, para Lacan, a investigaçáo aristotélica (...) comporta certa idealidade, o registro psicanalítico funda-se a partir da realidade. Para isso, ele retoma a noçáo freudiana de das Ding . Como objeto da primeira experiência de satisfaçáo, das Ding fundará todo o encaminhamento do sujeito. Na estrutura neurótica, entretanto, o reencontro com das Ding é excessivo; o sujeito náo o pode suportar. É por trás dessa realidade sem predicaçáo que é das Ding que Lacan encontrará a realidade que ordena, a saber, a lei da interdiçáo do incesto. É nessa dimensáo que o sujeito, em análise, é convocado a advir. O presente estudo, portanto, tem como objetivo realizar esse percurso – do bem supremo aristotélico à ética do desejo –, apontando as contribuições da psicanálise à discussáo ética. (shrink)

In conventional medicine, healing is effected mainly by treating the symptoms of the physical body disease, while in mind?body medicine the cure is performed by the mind itself (thoughts and emotions). In fact, the holographic mind theory claims that the mind could be either the healer or the slayer. Thus, this article is a contribution toward a more in-depth study of this theme of conventional medicine versus mind?body medicine, particularly to understand the gifts of quantum physics to life science and (...) the art of healing, so that we might find an integrative medicine model (a holistic approach to health) that could explain some ?incurable? diseases. (shrink)

In his new book The Idea of Justice, Amartya Sen argues that political theory should not consist only in the characterisation of ideal situations of perfect justice. In so doing, Sen is making, within the context of political theory, a similar argument to another he also made in economic theory, when crtiticising what he called the ?rational fool? of mainstream economics. Sen criticised the ideal and fictitious agent of mainstream economics, while advocating for a return to an integrated view of (...) ethics and economics, which characterised many classical political economists who inspired Sen's theory of justice, from Adam Smith to Karl Marx. I will examine Sen's revival of classical political economy, and argue that a revival of classical political economy, which was undertaken earlier by Piero Sraffa, has much potential for bringing a more plural and realist perspective to economics. (shrink)

Língua : "majestosamente bela, porém sempre imperfeita" -- Tradução : atravessando abismos -- Pós-história : articular o inarticulável -- A tradução na sociedade pós-histórica.

For any $n<\omega $ we construct an infinite $(n+1)$ -generated Heyting algebra whose n-generated subalgebras are of cardinality $\leq m_n$ for some positive integer $m_n$. From this we conclude that for every $n<\omega $ there exists a variety of Heyting algebras which contains an infinite $(n+1)$ -generated algebra, but which contains only finite n-generated algebras. For the case $n=2$ this provides a negative answer to a question posed by G. Bezhanishvili and R. Grigolia in [4].

O presente artigo pretende abordar o modo pelo qual a crítica de Hegel a Kant no domínio da moral tem repercussão nas teorias éticas contemporâneas. Trata-se de investigar osentido dessa crítica para autores como Jürgen Habermas e Seyla Benhabib e apresentar o modo como eles acolhem ou reelaboram tais críticas.

O trabalho apresenta diferentes interpretações sobre a “democracia decidadãos proprietários” (DCP), um regime que permite a propriedadeprivada dos meios de produção e se mostra superior, segundo Rawls, aocapitalismo de bem-estar. Discuto, primeiro, se a dispersão do capitalambicionada pela DCP deve ser tomada como algo distinto de dispersãoda riqueza. Trato, em segundo lugar, da questão de saber se o que importapara a caracterização da DCP é apenas o resultado – seja ele a dispersãodo capital ou da riqueza – ou também o (...) meio de obtê-lo, caso no qual a DCPpoderia ser entendida como regime predistributivo (em contraposição ao“welfare state”, um regime eminentemente redistributivo). Minha conclusão,em suma, é que, afora o que concerne ao “capital humano”, há razões parapreferir uma conceituação simples, que defina a DCP como regime que logradispersar a riqueza em considerável medida. A última seção responde, ainda,a algumas críticas à DCP como alternativa ao capitalismo de bem-estar. (shrink)

Towards the middle of the 18th century, Pierre-Louis Moreau de Maupertuis proposed the “principle of least action” as a fundamental law of physics and as a proof of the existence of God. Samuel König and other contemporary authors criticized Maupertuis’ work. There ensued a fierce discussion concerning this subject, in which Leonhard Euler, the king Frédéric II of Prussia and Voltaire took part. This paper discusses that debate, emphasizing its extrascientific features and analyzing the interests that motivated the actions of (...) the people involved in that episode. Key words: Pierre-Louis Moreau de Maupertuis, François Marie Arouet Voltaire, Johann Samuel König, Frédéric II – king of Prussia, principle of least action, history of physics, scientific controversies. (shrink)

RESUMOAs muitas definições de tecnociência são oferecidas como corretivas para um ideal de ciência pura, completamente separada da sociedade. A crítica da pureza nos estudos de ciência e de tecnologia foi precedida por críticas fenomenológicas em Heidegger e em Marcuse. A ideia de pureza não é mais crível. No entanto, o conceito de ciência pura tem desempenhado historicamente um papel na defesa da ciência contra interferências políticas. O conceito de tecnociência corre o risco de abrir a ciência a essa interferência (...) e tem provocado uma defesa renovada e, de certa forma, fútil da sua pureza. O consenso nos Estudos de Ciência e Tecnologia (ECT) de que a ciência é fundamentalmente social parece tornar óbvia a necessidade de um termo como tecnociência. Este artigo sugere uma definição restritiva de tecnociência com base na multiplicação de testes independentes de validade. Esse é um caso extremo da sociabilidade da ciência, porque aqui a ciência e a tecnologia emergem juntas, em vez de a teoria preceder a aplicação. A tecnociência sob essa definição descreveria o trabalho científico, validado cientificamente, que serve simultaneamente em processos comerciais e públicos que têm sua própria lógica e seus testes de validade independentes. De acordo com essa definição, a existência de interações complexas entre ciência e sociedade não obscurece as fronteiras entre esses testes. A tecnociência está inserida na sociedade, como toda ciência, mas é única ao se situar em um “garfo” [ataque duplo no xadrez] entre linguagens e critérios de sucesso distintos. Palavras-chave: Tecnociência. Estudos de Ciência e Tecnologia. Heidegger. Marcuse. Ciência/Sociedade. (shrink)

Preface de Pierre-Francois Moreau Beaucoup l'ont constate: il y a un air de famille entre spinozisme et psychanalyse. Meme remise en cause des attributs classiques de la subjectivite (libre-arbitre et transparence de la conscience a elle-meme); meme valorisation de l'affectivite du sujet (et notamment de la force de son desir); meme apprehension materialiste des phenomenes theologico-politiques (a travers l'analyse de la puissance de l'imaginaire); et dans une certaine mesure, meme visee therapeutique... Les deux grands noms de la psychanalyse, Freud et (...) Lacan, n'ont d'ailleurs pas cache, au moins a une certaine periode de leur parcours intellectuel, une proximite avec la pensee spinoziste. Soit. Mais ces grandes lignes de rapprochement entre psychanalyse et spinozisme permettent-elles autre chose que de dessiner une vague parente, dont il serait tout aussi aise, sinon plus, de souligner les lignes de fracture? Pour ne pas en rester a ce niveau de generalite, il est necessaire d'analyser precisement les notions, les problemes, les theses et les textes a travers lesquels cette confrontation entre spinozisme et psychanalyse prend sens et devient fructueuse. C'est le defi qu'entend relever le present recueil, le premier consacre a une telle confrontation. (shrink)

Este estudo se dispõe a reflexão sobre a relação entre o Direito Tributário e a proteção ambiental, pela análise das normas regulatórias tributárias, atuando como agente desestimulador de condutas degradantes ao meio ambiente. Normas tributárias podem ser utilizadas como instrumentos estimuladores do desenvolvimento sustentável e desestimuladores de condutas degradantes ambientais. A Constituição Federal estabeleceu as premissas do desenvolvimento econômico. A empresa deve atender a critérios, como desenvolver-se promovendo redução de desigualdades sociais, atendendo às relações de consumo e preservação ambiental. Neste (...) artigo se demonstra a importância das normas tributárias extrafiscais na regulação e contenção de danos ambientais. (shrink)

O presente artigo visa tratar do “novo materialismo” na filosofia de Karl Marx após 1845, com a produção das chamadas _Teses ad Feuerbach_. Nesse sentido, buscaremos expor essa nova concepção filosófica através da reformulação da relação sujeito-objeto levada a cabo por Marx, que levou o autor a uma noção crítica de ciência, distinta daquela que vigorava no pensamento europeu e posteriormente caracterizada como tradicional, bem como da crítica da metafísica da economia política. A partir dessas críticas, a concepção marxiana se (...) apresenta como uma continuação da chamada _deutsch Wissenschaft_, uma ciência filosófica, influenciada desde Hegel, que agora coloca o modo de produção capitalista como objeto crítico que constitui uma essência histórica específica e que deve ser conhecida enquanto tomada de consciência de si e por si apontando para a necessidade de rompimento com uma atividade científica instrumentalizada pelas necessidades do desenvolvimento das relações de produção e da valorização da riqueza capitalistas. Nesse sentido, a filosofia marxiana, tendo a negatividade como motor da razão, fundamenta uma teoria crítica e revolucionária da sociedade capitalista e reivindica uma práxis emancipadora e emancipada dos interesses e finalidades da produção capitalista estrita. (shrink)

Apresentação do Dossiê - "Relações Étnicas, Educação e Cidadania".

Filósofos e historiadores da ciência oferecem explicações para cientistas aceitarem ou rejeitaremuma dada hipótese ou teoria, mas, de um modo geral, não apresentam critérios que permitamdeterminar de maneira clara o que seja aceitação e o que seja rejeição. Com o intuitode contribuir para elucidar este problema, foi proposto um método de análise em Martinse Martins, exemplificado pelo posicionamento do naturalista inglês William Bateson diante da teoria cromossômica, no período compreendido entre 1902 e 1926.O objetivo deste artigo é aplicar o (...) método de análise acima mencionado para esclarecer aposição adotada pelo zoólogo Thomas Hunt Morgan diante da hipótese/teoriacromossômica, no período compreendido entre 1903 e 1910-1911. Nossa análise mostraque Morgan rejeitou a teoria cromossômica no período considerado e que sua mudançarepentina de opinião se deveu a uma estratégia profissional. (shrink)

Raising a child with an autism spectrum disorder (ASD) is a stressful experience and has been associated with poor maternal mental health and increased maternal emotional distress. However, the experiences of fathers of children with ASD are largely unexplored and the coping strategies these men employ to cope with the challenges they face have received little research attention. This research aimed to explore the phenomenological experiences of fathers of preschool children with ASD by gaining a better understanding of the manner (...) in which these individuals attempted to cope with their situation. A multiple, single-case study design was employed and five participants were recruited via two local paediatric practices. Semi-structured interviews were conducted with the participants and data were analysed making use of Interpretative Phenomenological Analysis (IPA). This analysis yielded three superordinate themes, which were labelled as follows: (a) the experience of fathering a child with ASD, (b) challenges of fathering a child with ASD, and (c) coping with fathering a child with ASD. The results suggest that the fathers of children with ASD experience their parental role as stressful. The participants in the current study related the stress they experienced to a number of challenges associated directly with their children’s behaviour, as well as to the effects that parenting a child with ASD had on their own wellbeing and functioning. The participants reported making use of a number of coping strategies in order to deal with the challenges they faced. The participants used both problem-focussed and avoidant coping strategies. The results are discussed and recommendations made with regard to future research. (shrink)

Escribir un In Memoriam es un ejercicio contra el olvido, una apuesta, en este caso, por hacer que perdure el recuerdo de la obra creativa del costarricense Alfonso Peña (1950-2022), creador gráfico y poético cuya polifonía subterránea aún emerge en la complicidad surrealista iberoamericana.

O ensaio discute as relações entre a produção poética e a experiência pandêmica. Estabelece o movimento identitário do narrador poético entre três modalidades de produção poética. Trata-se de triangulação artística que se envidencia entre Poema Minuto, Diet Poesia e Minimalismus Pandemicus. Para a caracterização do deslocamento intervérsico a tríplice produção artística, vale-se dos conceitos de “celebração móvel” de Hall (2006), das noções de dupla vocalidade da Signifyin(g) e da tripla dimensão de Exu e Iorubás, segundo Gates (1988), além da ideia (...) de política da conversão de West (1994). O ensaio sugere recorrer a uma ética do amor que, segundo West, teria a capacidade de estabelecer uma epistemologia poética com vistas a proteger a terra e fazer um mundo melhor. (shrink)

The sixth chapter of Charles Darwin’s Origin of Species is called “Difficulties of the Theory.” In that part of his work, Darwin reveals some possible objections to his theory and attempts to provide an answer to all of them. Such a chapter was part of the first edition of the Origin of Species; therefore, the difficulties described were not reactions derived from the publication of the book. Instead, friends like Charles Lyell have probably presented some of them. Others can be (...) found in works published before Darwin’s work, such as Natural Theology by William Paley, which argued for creationism and introduced arguments against any natural explanation of the origin of species. Many other problems dealt with in the sixth chapter were born, however, from Darwin’s own internal dialogue, his own initial doubts concerning the theory, and his anticipation of criticism, as one can gather from his manuscripts. This paper describes the main difficulties shown in the sixth chapter of the Origin of Species, providing a more detailed exposition of a few topics, and analyzing Darwin’s defense, in those cases. It also discusses some of the weak points in Darwin’s line of reasoning from a diachronic point of view. (shrink)